Foncteur de Picard d’un champ algébrique
نویسندگان
چکیده
منابع مشابه
Test de conformité : une approche algébrique
In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...
متن کاملSélection de la structure d'un perceptron multicouches pour la réduction dun modèle de simulation d'une scierie
Résumé— La simulation est souvent utilisée pour évaluer la pertinence d’un Programme Directeur de Production (PDP) ou pour en évaluer l’impact sur des scénarii d’ordonnancement détaillés de la fabrication. Dans ce cadre, nous nous proposons de réduire la complexité d’un modèle de simulation en exploitant un perceptron multicouches. Une phase primordiale lors de la modélisation d’un système à l’...
متن کاملApports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM
AROM est un système de représentation de connaissances reposant, à l’image des diagrammes de classes d’UML, sur deux types d’entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d’inférence. Ce langage permet l’écriture d’équations, de contraintes, et de requêtes, impliqua...
متن کاملChamp-av6 Champ-fx2 Vpx6-185
Software shouldn't be hard. That's why we back our rugged boards and subsystems with all the tools you need to easily and rapidly design, integrate and support your deployed electronics systems. You can depend on our board support packages, built-in test routines, diagnostic utilities, extensive software libraries and broad operating system support to reduce design costs and get your product to...
متن کاملUn langage algébrique particulier
— 11 is well-known that thefamily of context-free languages is a full principal AFL. It thus contains a largestfûll sub-AFL, denoted Nge, consisting ofthe languages which are notfull generators. One ofthe major problems (still unsolved) is to know whether this AFL is principal or not. The main resuit in this direction states that Ngestrictly contains thefamily Gre ofthe Greibach languages ( — t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2008
ISSN: 0025-5831,1432-1807
DOI: 10.1007/s00208-008-0282-8